End of file reached.